python how to write unicode strings into a file